Functional Programming - 27: Type Class In Fp-Ts Demo